#include<stdio.h>
int main()
{
	long n;
	scanf("%ld",&n);
	long long s;
	s=0;
	long i;
	for(i=1;i<=n;i++)
	s=s+i;
	printf("%ld",s);
	return 0;
}
